csd: Improve window button handling
authorMatthias Clasen <mclasen@redhat.com>
Sat, 29 Jun 2013 22:18:35 +0000 (18:18 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 29 Jun 2013 23:00:40 +0000 (19:00 -0400)
commit328f221b5c0523ea7eb6d4b58047f67c849e3588
tree850016b6a940f2a41edbea98de689aa38c0d60e7
parent534a7a9397652efe653f2af1d944b4705ee60190
csd: Improve window button handling

Group the buttons on each side in a box, and give them different
style classes, so themes can differentiate (this is partially a
workaround for limitations in our css selectors). The boxes also
let us add a margin below the buttons, without affecting the
allocation of the buttons themselves.
gtk/gtkwindow.c